es{-}hist\{i:l\}(${\it es}$;$e_{1}$;$e_{2}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$map(($\lambda$$e$.es{-}info(${\it es}$;$e$)); [$e_{1}$, $e_{2}$])